Loading...
机构名称:
¥ 1.0

在现实环境中,为规划指定高级知识库的问题变得非常艰巨。这些知识通常是手工制作的,即使对于系统专家来说也很难保持更新。最近的方法表明,即使缺少所有中间状态,经典规划也能成功合成动作模型。这些方法可以从一组执行轨迹中合成规划域定义语言 (PDDL) 中的动作模式,每个执行轨迹至少包含一个初始状态和最终状态。在本文中,我们提出了一种新算法,当动作特征未知时,使用经典规划器无监督地合成 S TRIPS 动作模型。此外,我们还对经典规划做出了贡献,该规划减轻了在动作模型前提条件中学习静态谓词的问题,利用 SAT 规划器的功能和并行编码来计算动作模式并验证所有实例。我们的系统非常灵活,因为它支持包含可能加快搜索速度的部分输入信息。我们通过几个实验展示了学习到的动作模型如何概括看不见的规划实例。

arXiv:2001.11457v3 [cs.AI] 2021 年 3 月 5 日

arXiv:2001.11457v3 [cs.AI] 2021 年 3 月 5 日PDF文件第1页

arXiv:2001.11457v3 [cs.AI] 2021 年 3 月 5 日PDF文件第2页

arXiv:2001.11457v3 [cs.AI] 2021 年 3 月 5 日PDF文件第3页

arXiv:2001.11457v3 [cs.AI] 2021 年 3 月 5 日PDF文件第4页

arXiv:2001.11457v3 [cs.AI] 2021 年 3 月 5 日PDF文件第5页